241. Reachability Problems
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer systems -- Verification -- Congresses,Decidability (Mathematical logic) --Congresses,Graph theory -- Data processing -- Congresses,گراف‌ها -- داده‌پردازی -- کنگره‌ها
رده :
E-Book
,
242. Research in computational topology /
پدیدآورنده: Erin Wolf Chambers, Brittany Terese Fasy, Lori Ziegelmeier editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Computational complexity.,Geometry-- Data processing-- Research.,Topology-- Data processing-- Research.,Algorithms.,Computational complexity.,MATHEMATICS-- Topology.
رده :
QA611
243. Research on Tibetan spelling formal language and automata with application /
پدیدآورنده: Nyima Tashi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics.,Electronic data processing.,Information technology-- China-- Tibet Autonomous Region.,Tibetan language-- Orthography and spelling-- Data processing.,Computational linguistics.,Electronic data processing.,Information technology.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Historical & Comparative.,China, Tibet Autonomous Region., 7
رده :
P98
.
45
.
T58
244. Robotics :
پدیدآورنده: Bruno Siciliano [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Manipulators (Mechanism),Robots-- Control systems.,Robots-- Motion.,Ingénierie.,Manipulators (Mechanism),Manipulators (Mechanism),Robots-- Control systems.,Robots-- Control systems.,Robots-- Motion.,Robots-- Motion.
رده :
TJ211
.
35
.
S43
2009eb
245. Robotics, Vision and Control :
پدیدآورنده: by Peter Corke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Automatic control.,Automation.,Cognitive psychology.,Engineering.,Image processing.,Robotics.,Artificial intelligence.,Automatic control.,Automation.,Cognitive psychology.,Engineering.,Image processing.,Robotics.
رده :
T59
.
5
246. Robotics, vision and control :
پدیدآورنده: Peter Corke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: MATLAB.,MATLAB.,Computer vision.,Robots-- Control systems.,Computer vision.,Robots-- Control systems.
رده :
TJ211
.
35
.
C67
2017eb
247. Robotics, vision and control :
پدیدآورنده: Peter Corke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: MATLAB.,Robots-- Sistemes de control.,Visió per ordinador.
248. Schaum`s outline of theory and problems of Introduction to computer science
پدیدآورنده: Francis Scheid
کتابخانه: کتابخانه موسسه روانشناسی و علوم تربیتی دانشگاه تهران (شهید دقایقی) (تهران)
موضوع: Data Processing
249. Sequential and parallel algorithms and data structures :
پدیدآورنده: Peter Sanders, Kurt Mehlhorn, Martin Dietzfelbinger, Roman Dementiev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Computer network architectures.,Data structures (Computer science),Algorithms.,Computer network architectures.,Data structures (Computer science)
رده :
QA76
.
6
250. Shortest path solvers :
پدیدآورنده: Andrew Adamatzky, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cellular automata.,Computer algorithms.,Mathematical optimization.,Artificial intelligence.,Cellular automata.,Computer algorithms.,COMPUTERS-- General.,Cybernetics & systems theory.,Mathematical optimization.
رده :
QA76
.
9
.
A43
251. Spanning trees and optimization problems
پدیدآورنده: Wu, Bang Ye.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Data processing ، Trees )Graph theory(,، Mathematical optimization
رده :
QA
166
.
2
.
W8
252. Statistical analysis and data display :
پدیدآورنده: Richard M. Heiberger, Burt Holland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: SAS (Computer file),Mathematical statistics-- Data processing.,R (Computer program language),Statistics-- Data processing.,Mathematical Statistics.,Mathematics.,Physical Sciences & Mathematics.,Statistical Theory and Methods.,Statistics and Computing/Statistics Programs.,Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.,Statistics.,Mathematical statistics-- Data processing.,R (Computer program language),Statistics-- Data processing.
رده :
QA276
.
4
253. Statistical atlases and computational models of the heart :
پدیدآورنده: Oscar Camara [and five others], eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer vision.,Electronic data processing.,Information storage and retrieval systems.
254. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
255. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده: edited by Linda C. van der Gaag.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
256. System Modeling and Optimization XX :
پدیدآورنده: edited by E.W. Sachs, R. Tichatschke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing.,Mathematics.,Systems theory.
257. System and architecture :
پدیدآورنده: Sunil Kumar Muttoo, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA76
.
9
.
A73
258. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده: M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
259. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده: edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
260. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده: Edited by Hartmut Ehrig...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
